Парадокс Сколема

См. также в других словарях:

• Парадокс Сколема — представляет собой рассуждение, связанное с использованием теоремы Лёвенгейма Сколема для аксиоматической теории множеств. В отличие от парадокса Рассела, парадокса Кантора, парадокса Бурали Форти, где при помощи логически верных выводов… …   Википедия

• ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… …   Философская энциклопедия

• СКОЛЕМА ПАРАДОКС — следствие теоремы Лёвенхейма Сколема (см. Гёделя теорема о полноте), состоящее в том, что всякая непротиворечивая формальная аксиоматич. теория, заданная счетным семейством аксиом, выполнима в счетной области. В частности, если предположить… …   Математическая энциклопедия

• Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма  Сколема  утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… …   Википедия

• Мнимый парадокс — Мнимый парадокс  ложный парадокс, возникающий из за неверного хода рассуждений. Для разрешения противоречий мнимого парадокса достаточно использовать средства формальной логики. Пример мнимого парадокса Рассмотрим пример доказательства, что… …   Википедия

• Парадоксы теории множеств — Парадоксами теории множеств называют рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как парадокс Бурали Форти (1897) парадокс Кантора (1899) парадокс Рассела (1905) рассуждения, результат которых интуитивно кажется… …   Википедия

• МАТЕМАТИЧЕСКАЯ БЕСКОНЕЧНОСТЬ — общее название разл. реализаций идеи бесконечности в математике. Хотя между значениями понятия М. б. и др. значениями, в к рых употребляется термин бесконечность , нет жесткой границы (поскольку все эти понятия в конечном счете отражают весьма… …   Философская энциклопедия

• Список парадоксов — …   Википедия

• Парадоксы —       Служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не устанавливается на информационные статьи списки и глоссари …   Википедия

• ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… …   Философская энциклопедия

• Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …   Википедия